Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
An outline of mathematical logic: fundamental results and notions explained with all details / by Grzegorczyk, A.
| An outline of mathematical logic: fundamental results and notions explained with all details / by Grzegorczyk, A. |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Dordrecht [etc.] : Reidel, 1974 |
| Collana | Synthese Library |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001248080403321 |
Grzegorczyk, Andrzej
|
||
| Dordrecht [etc.] : Reidel, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fonctions Recursives / par Andrzej Grzegorczyk
| Fonctions Recursives / par Andrzej Grzegorczyk |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Paris : Gauthier-Villars : E. Nauwelaerts, 1961 |
| Descrizione fisica | 100 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Collection de logique mathématique, Série A |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990001002400403321 |
|
Grzegorczyk, Andrzej
|
||
| Paris : Gauthier-Villars : E. Nauwelaerts, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fonctions Recursives / DI GRZEGORCZYK, A.
| Fonctions Recursives / DI GRZEGORCZYK, A. |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Paris : Gauthier-Villars, 1961 |
| Collana | Collection de logique mathématique, Série A |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001248090403321 |
|
Grzegorczyk, Andrzej
|
||
| Paris : Gauthier-Villars, 1961 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk
| An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., [1974] |
| Descrizione fisica | x, 596 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Symbolic logic |
| ISBN | 9027703590 |
| Classificazione |
AMS 03-01
AMS 03-XX |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001216329707536 |
|
Grzegorczyk, Andrzej
|
||
| Boston : D. Reidel Publ. Co., [1974] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Some Classes of Recursive Functions / Andrzej Grzegorczyk
| Some Classes of Recursive Functions / Andrzej Grzegorczyk |
| Autore | Grzegorczyk, Andrzej |
| Pubbl/distr/stampa | Warszawa : Polskie Towarzystwo Mathematyczne, 1953 |
| Descrizione fisica | 44 p. ; 25 cm |
| Disciplina | 160 |
| Collana | Rozprawy Matematyczne |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001002390403321 |
|
Grzegorczyk, Andrzej
|
||
| Warszawa : Polskie Towarzystwo Mathematyczne, 1953 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||